6n-Bounding and 1n-Induction
نویسنده
چکیده
Working in the base theory of PA + I60 + exp, we show that for all n ∈ ω, the bounding principle for 6n-formulas (B6n) is equivalent to the induction principle for 1n-formulas (I1n). This partially answers a question of J. Paris; see Clote and Krajı́ček (1993).
منابع مشابه
Origins of long-chain polyunsaturated fatty acids in the hydrothermal vent worms Ridgea piscesae and Protis hydrothermica
Long-chain polyunsaturated fatty acids (PUFAs) are essential nutrients for all marine animals that have previously been studied. Most marine animals obtain long-chain PUFAs from their diets (i.e. as products of photosynthetic processes) and few are known to be able to produce these compounds de novo. Deep-sea vent organisms live in an environment that is relatively isolated from photosynthetic ...
متن کاملInverse Association of Serum Docosahexaenoic Acid With Newly Diagnosed Hypertension: A Community-based Case-control Study.
Observational studies on circulating fatty acid (FA) and primary prevention of hypertension have yielded inconsistent results, and the association among the Chinese population is not fully clear. The aim of the study was to discern important FAs that can discriminate hypertensive patients from normotensive persons, and investigate associations between the important FAs and risk of hypertension....
متن کاملInhibition of neuronal apoptosis by docosahexaenoic acid (22:6n-3). Role of phosphatidylserine in antiapoptotic effect.
Enrichment of Neuro 2A cells with docosahexaenoic acid (22:6n-3) decreased apoptotic cell death induced by serum starvation as evidenced by the reduced DNA fragmentation and caspase-3 activity. The protective effect of 22:6n-3 became evident only after at least 24 h of enrichment before serum starvation and was potentiated as a function of the enrichment period. During enrichment 22:6n-3 incorp...
متن کاملAssociation of serum fatty acid and estimated desaturase activity with hypertension in middle-aged and elderly Chinese population.
We aimed to investigate the cross-sectional associations of serum fatty acid (FA) and related Δ-desaturase with hypertension among 2,447 community-dwellers aged 35-79 years living in Zhejiang Province, China. Individual FA was determined in serum, Δ(5)-desaturase (D5D) and Δ(6)-desaturase (D6D) activities were indirectly estimated by FA product/precursor ratios. Participants in the highest quar...
متن کاملFatty acid utilisation and metabolism in caecal enterocytes of rainbow trout (Oncorhynchus mykiss) fed dietary fish or copepod oil.
A combined fatty acid metabolism assay was employed to determine fatty acid uptake and relative utilisation in enterocytes isolated from the pyloric caeca of rainbow trout. In addition, the effect of a diet high in long-chain monoenoic fatty alcohols present as wax esters in oil derived from Calanus finmarchicus, compared to a standard fish oil diet, on caecal enterocyte fatty acid metabolism w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003